Beweisalgorithmus


Beweisalgorithmus
(m)
алгоритм доказательства, алгоритм, дающий доказательство

Немецко-русский математический словарь. 2013.


Поделиться ссылкой на выделенное

Прямая ссылка:
… Нажмите правой клавишей мыши и выберите «Копировать ссылку»

We are using cookies for the best presentation of our site. Continuing to use this site, you agree with this.